Trefferliste "Formal Methods In CS" - alle Bücher

Wir konnten keine exakten Treffer zu Ihrer Suche nach "Formal methods in CS" finden. Könnten diese Produkte zu Ihrer Suche passen?

Formal Methods in Architecture

Digital Innovations in Architecture, Engineering and Construction

This book comprises the select proceedings of the 7th International Symposium on Formal Methods in Architecture (7FMA), held in Porto, Portugal, in December 2024. The contents focus on the use of methodol…

lieferbar ab 4.10.2025.

Buch

EUR 306,65* Aktueller Preis: EUR 306,65

Artikel merken

In den Warenkorb

Menge ändern

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 81,04* Aktueller Preis: EUR 81,04

Artikel merken

In den Warenkorb

Menge ändern